https://www.masdayat.net/2022/06/12-log2-x-12-log-x-6-0.html
1/2 log2 x – 1/2 log x – 6 ≤ 0